Marginalia — Cuaderno Interactivo Marginalia Tanner Mpl Flexible Multiprecision2026

> PUBLICACIÓN— (2026)

REFERENCIA DOI

Multiprecision arithmetic is required in many applications, notably safety critical areas. It carries, however, a substantial performance impact compared to fixed precision arithmetic. Since~a significant part of this is due to allocation and memory fragmentation, a substantial speed up can be obtained by optimising for small numbers by storing them inline on the~stack rather than on the heap. Libraries implementing such an optimisation typically fix the range of numbers considered small. However, optimal performance requires customising this range depending on~the problem. The contribution of this tool paper is to introduce MPL,~a library for arbitrary fixed precision and multiprecision arithmetic, which allows developers to customise the range of small numbers based on the knowledge of their problem at compile time.~We experimentally demonstrate that MPL can deliver significant speed-ups when benchmarked against GMP and CLN, both running microbenchmarks on our library. MPL is released under a permissive BSD license, and we also provide a full integration of MPL~with cvc5, enabling using MPL as a back end in cvc5.

VER ABSTRACT

[ + ]

> NAVEGACIÓN

https://emanuel_quintana.codeberg.page/Marginalia/ LIVE

Índice General

Marginalia / Lecturas en curso LIVE

Índice de Leyendo

> REPOSITORIO

README.mdPREVIEW

Marginalia

Sitio en vivo: codeberg.page/Marginalia

Marginalia: notas escritas al margen de un libro.

Catálogo, notas, ensayos y código de lectura — economía, matemática, ciencias de la computación, literatura, física e ingeniería, y más.

Español

Este repositorio es mi cuaderno de lectura público, usando Org-mode y org-babel.

Licencias

Este repositorio usa doble licencia: código bajo MIT, notas y ensayos bajo CC BY-SA 4.0.

Ver en Codeberg

> LICENCIAS

LICENSEMIT PREVIEW

MIT License

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files, to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED.

NOTE: Aplica solo al código fuente. El contenido escrito está bajo CC BY-SA 4.0.

Código — MIT

LICENSE-CONTENT.mdPREVIEW

Licencia de contenido

Este archivo cubre las notas de lectura, ensayos y textos en lecturas/ y ensayos/.

Creative Commons BY-SA 4.0

Sos libre de:

Compartir — copiar y redistribuir el material.
Adaptar — remezclar, transformar y construir a partir del material.

Bajo los siguientes términos: Atribución y ShareAlike.

CC BY-SA 4.0

Marginalia — Emanuel Quintana Silva Última actualización: 2026-07-22

Validate